isrcv(l;a) == isnull(a)  isrcv(kind(a))  lnk(kind(a)) = l 

latex

---

clarification:

w-isrcvl(w; l; a) == w-isnull(w; a)  isrcv(w-kind(w; a))  lnk(w-kind(w; a)) = l 

latex

Definitions	isrcv(l;a), b, isnull(a), p  q, isrcv(k), a = b, lnk(k), kind(a)
FDL editor aliases	w-isrcvl